Canonical Regular Types
نویسندگان
چکیده
Regular types represent sets of structured data, and have been used in logic programming (LP) for verification. However, first-class regular type systems are uncommon in LP languages. In this paper we present a new approach to regular types, based on type canonization, aimed at providing a practical first-class regular type system. 1998 ACM Subject Classification D.3.3 Language Constructs and Features
منابع مشابه
Forest types of Gzoo Taxus baccata L. researve and the analysis of vegetation in relation to environmental variables (Savadkooh, Mazandaran)
Taxus baccata is one of the few native needleleave species of north and northwest forests of Iran, distributed as a single tree or sometimes in spots. The Gazoo Yew reserve is one of the most valuable habitats of Taxus baccata in north of Iran, which has not been studied sufficiently. This study aimed to investigate the vegetation and the forest types as well as the effects of the environmental...
متن کاملIdarex: Formal Description of Multi-word Lexemes with Regular Expressions
Most multi-word lexemes (MWLs) allow certain types of variation. This has to be taken into account for their description and their recognition in texts. We suggest to describe their syntactic restrictions and their idiosyncratic peculiarities with local grammar rules, which at the same time express in a general way regularities valid for a whole class of MWLs. The local grammars can be written ...
متن کاملFormal Description of Multi-Word Lexemes with the Finite-State Formalism IDAREX
Most multi-word lexemes (MWLs) allow certain types of variation. This has to be taken into account for their description and their recognition in texts. We suggest to describe their syntactic restrictions and their idiosyncratic peculiarities with local grammar rules, which at the same time allow to express in a general way regularities valid for a whole class of MWLs. The local grammars can be...
متن کاملThe Relationship betweenEFL Learners’ Self-Identity Changes, Motivation Types, and EFL Proficiency
This study aimed to explore the relationships between foreign language learners’ self-identity changes, motivation types, and Foreign Language proficiency associated with learning English in private language schools in Iranian context. Based on a stratified sampling, 204 English as a foreign language learners from three language schools in Tehran were selected to participate in the study. The i...
متن کاملParametrization of the regular equivalences of the canonical controller and its applications
We study control problems for linear systems in the behavioral framework. Our focus is a class of regular controllers that are equivalent to the canonical controller. The canonical controller is a particular controller that is guaranteed to be a solution whenever a solution exists. However, it has been shown that in most cases, the canonical controller is not regular. The main result of the pap...
متن کامل